En matemàtiques, el teorema de Frobenius dona les condicions necessàries i suficients per trobar un conjunt màxim de solucions independents d'un sistema sobredeterminat d'equacions en derivades parcials lineals homogènies de primer ordre. En termes geomètrics moderns, donada una família de camps vectorials, el teorema dona les condicions d'integrabilitat necessàries i suficients per a l'existència d'una foliació per varietats integrals màximes els paquets tangents de les quals estan abastats pels camps vectorials donats. El teorema generalitza el teorema d'existència per a les equacions diferencials ordinàries, que garanteix que un sol camp vectorial sempre dona lloc a corbes integrals; Frobenius dona condicions de compatibilitat sota les quals les corbes integrals de camps vectorials r s'emboliquen en quadrícules de coordenades en varietats integrals r-dimensionals. El teorema és fonamental en topologia diferencial i càlcul sobre varietats.[1]
En la seva forma més elemental, el teorema aborda el problema de trobar un conjunt màxim de solucions independents d'un sistema regular d'equacions diferencials parcials homogènies lineals de primer ordre. Deixar [2]
ser una col·lecció de funcions C1, amb r < n, i tal que la matriu ( f i
k ) té rang r. Considereu el següent sistema d'equacions diferencials parcials per a una funció C2 u : Rn → R:
Es busquen condicions sobre l'existència d'una col·lecció de solucions u1, ..., un−r tals que els gradients ∇u1, ..., ∇un−r siguin linealment independents.[3]
El teorema de Frobenius afirma que aquest problema admet una solució localment [4] si, i només si, els operadors Lk compleixen una certa condició d'integrabilitat coneguda com a involutivitat. Concretament, han de satisfer les relacions de la forma
per a 1 ≤ i, j ≤ r, i totes les funcions C2 u, i per a alguns coeficients c kij (x) que poden dependre de x. En altres paraules, els commutadors [Li, Lj] han de situar-se en l'envergadura lineal de Lk en cada punt. La condició d'involutivitat és una generalització de la commutativitat de les derivades parcials. De fet, l'estratègia de demostració del teorema de Frobenius és formar combinacions lineals entre els operadors Li de manera que els operadors resultants commutin, i després demostrar que hi ha un sistema de coordenades yi per al qual aquestes són precisament les derivades parcials amb respecte a y1, ..., yr.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search